faithfully full functor

一一全函子